Intermediate Consistencies by Delaying Expensive Propagators
نویسندگان
چکیده
What makes a good consistency ? Depending on the constraint, it may be a good pruning power or a low computational cost. By “weakening” arc-consistency, we propose to define new automatically generated solvers which form a sequence of consistencies weaker than arc-consistency. The method presented in this paper exploits a form of regularity in the cloud of constraint solutions: the density of solution orthogonal to a projection. This approach is illustrated on the sparse constraints “to be a n-letters english word” and crossword CSPs, where interesting speed-ups are obtained.
منابع مشابه
On Neighborhood Singleton Consistencies
CP solvers predominantly use arc consistency (AC) as the default propagation method. Many stronger consistencies, such as triangle consistencies (e.g. RPC and maxRPC) exist, but their use is limited despite results showing that they outperform AC on many problems. This is due to the intricacies involved in incorporating them into solvers. On the other hand, singleton consistencies such as SAC c...
متن کاملImproving Algorithms to Compute All Elements of the Lattice Quark Propagator
The discovery of exactly chirally symmetric fermions on the lattice has triggered intensive research in the development of algorithms to simulate dynamical Ginsparg-Wilson fermions on the lattice. In light of recent work in this area, we anticipate that there will be a limited number of expensive, full QCD configurations in the near future. One would like to extract all the information that one...
متن کاملScalar Mesons on the Lattice Using Stochastic Sources on GPU Architecture
We describe our studies of multi-pion correlation functions computed using stochastic propagators in quenched lattice QCD, harnessing GPUs for acceleration. We find that projecting onto momentum states for the pions becomes enormously expensive and has a poor scaling with the linear extent of the lattice. We will use Lüscher’s method and look for the σ in the π+π−→ π+π− channel. The result is t...
متن کامل4 Propagators of light scalar mesons
For the first time, as far as we know, in field theory are found explicit forms of propagators satisfying the Källen – Lehmann representation. To be exact, it is shown that scalar meson propagators, taking into account a virtual intermediate state contribution to the resonance self-energy, satisfy the Källen – Lehmann representation in the wide domain of coupling constants of the light scalar m...
متن کاملAdaptive Singleton-Based Consistencies
Singleton-based consistencies have been shown to dramatically improve the performance of constraint solvers on some difficult instances. However, they are in general too expensive to be applied exhaustively during the whole search. In this paper, we focus on partition-oneAC, a singleton-based consistency which, as opposed to singleton arc consistency, is able to prune values on all variables wh...
متن کامل